$\forall$$i$:Id, ${\it TA}$:(Id$\rightarrow$Id$\rightarrow$Type), $M$:(IdLnk$\rightarrow$Id$\rightarrow$Type). w{-}action{-}dec(${\it TA}$;$M$;$i$) $\in$ Knd$\rightarrow$Type